home *** CD-ROM | disk | FTP | other *** search
Text File | 1995-03-27 | 1.0 KB | 21 lines | [TEXT/TeX+] |
- #
- # This script will add the directory menu.
- # Usage: DirectoryMenu.
- #
-
- Exit 0 If $# ≠ 0
- If $dt_DirMenuID = "" [Set -x dt_DirMenuID "`AddMenu -v Directory ≥ Dev:Null`"
- DeleteItem $dt_DirMenuID; If $dt_DirSubID ≠ "" [DeleteMenu $dt_DirSubID
- Set -x dt_DirSubID "`AddMenu -v -h -b $dt_DirMenuID 'Modify Menu' ≥ Dev:Null`"
-
- AddItem -m $dt_DirSubID 'Add Directory…' [AddDirectory `GetFileName -d || Exit -1`
- AddItem -m $dt_DirSubID 'Edit Menu' [Edit $dt_ConfigFiles∂DirectTeX:DirectoryMenu-Data
- AddItem -m $dt_DirSubID 'Update Menu' [CloseWindow DirectoryMenu-Data ∑ Dev:Null || Echo -n; DirectoryMenu
- AddItem -m $dt_DirMenuID 'Set Directory…' [Directory `GetFileName -d || Exit -1`
- # AddItem -m $dt_DirMenuID 'Show Directory…' [Alert -s -note The current directory is∂n`Directory`
- AddItem -m $dt_DirMenuID 'Directory Listing/I' [ClearScreen -s; Dir
- AddItem -m $dt_DirMenuID '(-' ''
-
- Echo -n >> $dt_ConfigFiles∂DirectTeX:DirectoryMenu-Data
- For i `Catenate $dt_ConfigFiles∂DirectTeX:DirectoryMenu-Data` [AddItem -n -m $dt_DirMenuID -n $i Directory∂ $$i
-